The kernel of a monoid morphism ´ Pin1 Jean-Eric 1 LIAFA, CNRS and University Paris Diderot

Source URL: www-users.york.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Algebraic structures
• Semigroup theory
• Category theory
• Lattice theory
• Semigroup
• Monoid
• Kernel
• Semilattice
• Free monoid

The Synthetic Plotkin Powerdomain Wesley Phoa Paul Taylor 1990

Source URL: www.paultaylor.eu

• Lattice theory
• Algebraic structures
• Power domains
• Semilattice
• Free lattice
• Topos
• Model theory
• Finite set
• FO
• Mathematics
• Abstract algebra
• Algebra

A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc

Source URL: ftp.cixug.es

• Abstract algebra
• Vectors
• Matrix
• Euclidean vector
• Spreadsheet
• Vector space
• Vector
• R
• C
• Algebra
• Mathematics
• Linear algebra

Flow Free – a programming competition http://spivey.oriel.ox.ac.uk/comp2012 This competition is open to all current Oxford undergraduates, with cash prizes of £600 generously provided by Morgan Stanley. The competitio

Source URL: spivey.oriel.ox.ac.uk

• Computing
• Data differencing
• Diff
• Pattern matching
• Puzzles
• Numberlink
• Board puzzles with algebra of binary variables
• Crossword
• Mathematics
• Games
• Logic puzzles

The GMD Data Model and Algebra for Multidimensional Information Enrico Franconi1 and Anand Kamble1,2 1 Faculty of Computer Science, Free University of Bozen-Bolzano, Italy,

Source URL: www.inf.unibz.it

Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3

Source URL: who.rocq.inria.fr

• Metalogic
• Model theory
• Predicate logic
• Structure
• Free variables and bound variables
• FO
• Arity
• Mathematics
• Universal algebra
• Mathematical logic

Parallel  Programming  with  MPI   Lars  Koesterke   :  HPC  Workshop  at  ASU   :  HPC  Workshop  at  CSU    

Source URL: hpcuniversity.org

• Computer programming
• Application programming interfaces
• Numerical linear algebra
• Free software
• MPICH
• Public domain software
• Message Passing Interface
• Portable
• Extensible Toolkit for Scientific Computation
• Computer cluster
• Computing
• Software
• Parallel computing

OPERATIONAL RESOLUTIONS AND STATE TRANSITIONS IN A CATEGORICAL SETTING Bob Coecke and Isar Stubbe FUND-DWIS, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium. and

Source URL: www-lmpa.univ-littoral.fr

• Category theory
• Algebraic structures
• Dual
• Structure
• Semigroup
• Laplace transform
• Mathematics
• Mathematical analysis
• Abstract algebra

Skin-Contact Sensor for Automatic Fall Detection

Source URL: www.vitalconnect.com

• Accelerometers
• Classical mechanics
• Gravitation
• Acceleration
• Shock
• Mass
• Euclidean vector
• Free fall
• Vector
• Physics
• Algebra
• Introductory physics

A Goldman bracket for stacks and equivariant string topology (joint work with B.Noohi) Gregory Ginot One of the main inspiration for String topology was to reinterpret and generalize the classical Goldman bracket for sur

Source URL: qcpages.qc.cuny.edu

• Geometric topology
• Differential topology
• Algebraic topology
• Knot theory
• Algebraic stack
• Manifold
• String topology
• Orbifold
• Free loop
• Topology
• Abstract algebra
• Mathematics